proof theory
英 [pruːf ˈθɪəri]
美 [pruːf ˈθiːəri]
网络 证明论; 证明理论; 证实论; 验证理论
双语例句
- Firstly, we construct the system KA of knowing agents, give some results of its proof theory.
首先，我们构造知道主体的系统KA，给出它的一些证明论结果。 - Proof theory semantics provides a proof procedure, corresponds to model theory semantics, which may lead to the implementation of model theory semantics.
一般逻辑程序的证明论语义给出一个证明过程，对应于相应的模型论语义，同时也为模型论语义的实现提供基础。 - A Graphic Method in D-S Proof Theory Application
D-S证据理论应用中的一种图解方法 - Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.
数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。 - Reiter proposed a proof theory and proved its completeness for normal default theory.
Reiter对规范缺省理论作了一系列的研究，他还提出了证明理论，并证明了这一证明理论对于规范缺省理论来说是完备的。 - This article analyze the characters of market mix firstly, gives a conflict resolving method using proof theory.
文章分析营销决策任务的特点，提出了基于证据综合的冲突消除方法。 - Whether we should follow the principle of truth value or adopt the principle of epistemology is the watershed between the formal reasoning theory and the new proof theory.
论证的评估是坚持真值标准，还是采用认识论标准是形式推理理论与新的论证理论的分水岭； - In object identification level object identification fusion based on D-S proof theory was discussed, performance analyzing is found that the arithmetic did not need probability distribution.
在目标识别级重点讨论了基于D-S证据理论的目标识别融合，通过性能分析可知该算法具有不需要先验概率和条件概率密度等优点。 - Rosen Beck brought out his theory of distributing burden of proof, theory of regulation, through precise analysis on written laws and regulations.
罗森贝克通过对实体法规范的精细分析，提出了证明责任分配的学说&规范说。 - At last, we discuss the properties and computation of the statistical default logic, at the same time, we define and study the properties and proof theory of the normal statistical default logic.
最后，本文讨论了统计缺省逻辑扩充的性质与计算，并定义和研究了闭正规的统计缺省逻辑的性质及其证明理论。 - A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法 - Proof Theory and It ′ s Development
证明论及其发展 - Completeness of proof theory for a type of default theory
在一类缺省理论中关于证明理论的完备性问题 - Litigious right theory, which is very important, together with litigant theory and lodging proof theory, is fundamental of civil litigation.
诉权理论与当事人理论、举证责任理论共同构成民事诉讼理论的三大基石，其重要性勿庸置疑。 - Some New Progress in Proof Theory
证明论的一些新进展 - Differentiation and Correction of Four Groups of Opposite Concepts in Proof Theory
诉讼证明理论中的四组相对概念之辨正 - From a proof-theoretic viewpoint, a deductive database forms a special first-order theory. There are two different types of deductive databases, namely definite and indefinite [ 1].
从证明论（ProofTheory）的观点看，演绎数据库构成了一种特殊的一阶理论，并被分为确定（Definite）和不确定（Indefinite）两种形式。 - Based on the characteristics of measurement safety inspection system for railway freight transportation under the condition of electrification and informationization, the essay analyzes the necessity to apply lightning proof by modern lightning proof theory, and introduces the integrated lightning proof technology.
针对电气化、信息化条件下铁路货运计量安全检测系统的特点，利用现代防雷理论分析对其进行雷电防护的必要性，并对其综合防雷技术进行了相应介绍。 - Through the proof of theory and practice, this new method is an effective way to develop students 'creative thinking.
通过理论和实践的证明二次实验法不失为一种培养学生创造性思维的好方法。 - The first chapter relates the connotation of Intellectual intuition which is the core category of his system, and the proof of theory and practice about it.
第一章主要讲述了牟宗三道德形上学的核心范畴智的直觉的内涵及牟宗三对智的直觉进行的实践论证与理论论证。 - Furthermore cognition of criminal procedural testification standard is not only the inevitable demand of litigation civilization and progress, but also the inevitable outcome of Chinese traditional proof theory blending and conflicting with west countries 'litigation theory and culture conventions.
对于刑事诉讼证明标准的再认识不仅是诉讼文明进步的必然要求，也是我国传统证据理论与现代西方国家诉讼理念、文化传统的交融与冲突的必然结果。 - Firstly, we construct the conditional system AKC with double conditions for aim and background knowledge, give some results of its proof theory.
首先，我们构造以目的和背景知识为双条件的条件句系统AKC，给出它的一些证明论结果。 - Current, our country academia was the burden of responsibility, or by the objective burden of proof theory of continental law system. Anglo-American law system some learning burden of proof theory.
当前，我国学术界就举证责任的涵义，有的采用大陆法系客观举证责任学说，有的学习英美法系证明责任学说。 - In analyzing of the reason, the paper use statistical analysis and theoretical logic to proof certification theory and reputation theory are not applicable in our country.
接着进行了原因分析，在此过程中，本文先采用统计分析与理论逻辑对国际上流行的认证理论与声誉理论进行分析论证，发现这些理论在我国均不适用。 - The object of proof in civil procedure is the foundational thesis of proof theory. It is the initial link of proof, is the starting and ending point of litigation activities. Thus the research on object of proof has very important theoretical and practical significance.
民事诉讼证明对象是诉讼证明理论中的基础性论题，是诉讼证明活动的最初环节，是诉讼活动的出发点和落脚点，研究证明对象具有重要的理论和现实意义。 - The distribution of Burden of Proof is the core of the core, Research and application of the distribution of burden of proof theory we must first clear the foundation of the Burden of Proof. This is the premise of the Burden of Proof.
而证明责任分配便是核心中的核心，研究和应用证明责任分配理论我们首先必须明确证明责任分配的依据，这是证明责任分配的前提。 - Currently, As Formal Method and Proof Theory of Program Correctness is unable to become a practical method, Performance Test of Software is still an effective mean of software quality guaranty quite a while in the future.
在目前形式化方法和程序正确性证明技术还无望成为实用性方法的情况下，软件性能测试在将来相当一段时间内仍然是软件质量保证的有效手段。 - Secondly, proof theory method innovation.
第二，论证的理论方法新。 - In traditional theory of criminal evidence law, the related proof theory is based around conviction control.
在传统刑事证据法理论中，有关实体法的证明理论皆以规范定罪活动为中心。 - And pluses with proof theory of Criminal Procedure Law to propose a solution to the completion of it.
结合刑诉法的证据理论提出完善的方法。